docs(specs): migrate TEE provers spec from base/base#1499
Open
leopoldjoy wants to merge 3 commits into
Open
Conversation
Migrates docs/specs/pages/protocol/proofs/tee-provers.md from base/base to docs/base-chain/specs/protocol/proofs/tee-provers.md in this repo, per the in-progress spec migration (see base/base#2839, which is removing all specs from base/base). File copied byte-for-byte; sha256 verified identical to source (765b93c5d33cd58675775310bc4f73891a230b54bdfcedc42c6babe1793def15).
Collaborator
🟡 Heimdall Review Status
|
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Workflows to automatically generate PRs for you. |
- Rename tee-provers.md to .mdx with Mintlify title/description frontmatter - Add new Proofs group under Protocol with the tee-provers page so it is reachable from the rendered sidebar
The other proof role pages (challenger, proposer, registrar, zk-prover) all use singular naming. The TEE page was the odd one out. Renames the file slug, frontmatter title, and docs.json nav entry to singular 'TEE Prover'. Body content is unchanged (it already used 'TEE prover' singular throughout).
leopoldjoy
added a commit
that referenced
this pull request
May 22, 2026
Matches the singular naming used by the other proof role pages (challenger, proposer, registrar, zk-prover) and the parallel rename in #1499. - proofs/index.mdx: update the link label, slug, and verb agreement ('TEE Provers ... produce' -> 'TEE Prover ... produces') - docs.json: update slug in the Proofs nav group This is a small intentional deviation from the byte-equivalent base/base source in proofs/index.mdx — flagged explicitly here.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Migrates the TEE provers specification page from
base/baseinto this repo atdocs/base-chain/specs/protocol/proofs/tee-provers.mdx, mirroring the path convention used by the earlier spec migration in #1335 (e.g.fault-proof/proposer.mdx).Source:
base/base @ docs/specs/pages/protocol/proofs/tee-provers.md(added in base/base#2846).base/base#2839 is removing all specs from
base/basesince this repo is now the source of truth, prompting this migration. None of the otherprotocol/proofs/sibling pages (challenger,proposer,registrar,zk-prover,contracts,index) have been migrated yet — those are intentionally out of scope here and will require follow-up PRs.Mintlify integration
.mdxwithtitle+descriptionfrontmatter, matching the rest ofdocs/base-chain/specs/.docs.jsonso the page is reachable from the sidebar. The group currently contains onlytee-provers; sibling pages will be added as they are migrated.<Mermaid>component needed; confirmed against existing usage in `fault-proof/stage-one/bond-incentives.mdx` and `ai-agents/index.mdx`).[registrar](./registrar)) will resolve once those pages are migrated; left as-is for now.